constraint variation

约束变分